This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

Are the real numbers rich enough to measure intelligence? We generalize a result of Alexander and Hutter about the so-called Legg-Hutter intelligence measures of reinforcement learning agents. Using the generalized result, we exhibit a paradox: in one particular version of the Legg-Hutter intelligence measure, certain agents all have intelligence 0, even though in a certain sense some of them outperform others. We show that this paradox disappears if we vary the Legg-Hutter intelligence measure to be hyperreal-valued rather than real-valued.

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

According to many philosophers, rationality is, at least in part, a matter of one’s attitudes cohering with one another. Theorists who endorse this idea have devoted much attention to formulating various coherence requirements. Surprisingly, they have said very little about what it takes for a set of attitudes to be coherent in general. We articulate and defend a general account on which a set of attitudes is coherent just in case and because it is logically possible for the attitudes to (...) be jointly satisfied in the sense of jointly fitting the world. In addition, we show how the account can help adjudicate debates about how to formulate various rational requirements. (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

Judgments of blame for others are typically sensitive to what an agent knows and desires. However, when people act negligently, they do not know what they are doing and do not desire the outcomes of their negligence. How, then, do people attribute blame for negligent wrongdoing? We propose that people attribute blame for negligent wrongdoing based on perceived mental control, or the degree to which an agent guides their thoughts and attention over time. To acquire information about others’ mental control, (...) people self-project their own perceived mental control to anchor third-personal judgments about mental control and concomitant responsibility for negligent wrongdoing. In four experiments (N = 841), we tested whether perceptions of mental control drive third-personal judgments of blame for negligent wrongdoing. Study 1 showed that the ease with which people can counterfactually imagine an individual being non-negligent mediated the relationship between judgments of control and blame. Studies 2a and 2b indicated that perceived mental control has a strong effect on judgments of blame for negligent wrongdoing and that first-personal judgments of mental control are moderately correlated with third-personal judgments of blame for negligent wrongdoing. Finally, we used an autobiographical memory manipulation in Study 3 to make personal episodes of forgetfulness salient. Participants for whom past personal episodes of forgetfulness were made salient judged negligent wrongdoers less harshly compared to a control group for whom past episodes of negligence were not salient. Collectively, these findings suggest that first-personal judgments of mental control drive third-personal judgments of blame for negligent wrongdoing and indicate a novel role for counterfactual thinking in the attribution of responsibility. (shrink)

This paper concerns the grounds of nonground: what it is in virtue of that facts of the form [F1 does not ground F2] hold. While the literature on iterated ground is expansive, there is comparatively little written on the grounds of nonground. I argue that nonground is grounded in distinctness from ground. If F1 does not ground F2, then [F1 does not ground F2] is grounded in the fact that F1 is distinct from that which does ground F2. While this (...) proposal strikes me as natural, it faces puzzles involving conjunction, contingency, and cardinality. The bulk of this paper explores how the view might be precisified, and how these puzzles might be resolved. (shrink)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

The Gamer’s Dilemma consists of three intuitively plausible but conflicting assertions: (i) Virtual murder is morally permissible. (ii) Virtual child molestation is morally forbidden. (iii) There is no relevant moral difference between virtual murder and virtual child molestation in computer games. Numerous attempts to resolve (or dissolve) the Gamer’s Dilemma line the field of computer game ethics. Mostly, the phenomenon is approached using expressivist argumentation: Reprehensible virtual actions express something immoral in their performance but are not immoral by themselves. Consequentialists, (...) on the other hand, claim that the immorality of virtual actions arises from their harmful consequences. I argue that both approaches have serious difficulties meeting the moral challenge posed by the Gamer’s Dilemma. They tend to confuse the morality of in-game actions either with the morality of their real-world counterparts or with the morality of games as objects. Following this critical analysis, I will develop a Kantian argument and defend it against two objections. So far, deontological responses to the Gamer’s Dilemma have been sought in vain. Yet, with Kant, its moral challenge can be met by looking at the gamer’s reasons. From this perspective, the Gamer’s Dilemma is based on a false assumption: the moral status of gaming acts does not derive from a normative equation with their real-world counterparts but only from their justifications. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

In this paper, I examine the connections between bipolar disorder and consent. I defend the view that many (although far from all) individuals with bipolar disorder are competent to consent to a wide variety of things when they are in a manic state.

In this paper, I confront Parfit’s Mixed Maxims Objection. I argue that recent attempts to respond to this objection fail, and I argue that their failure is compounded by the failure of recent attempts to show how the Formula of Universal Law can be used to demarcate the category of obligatory maxims. I then set out my own response to the objection, drawing on remarks from Kant’s Metaphysics of Morals for inspiration and developing a novel account of how the Formula (...) of Universal Law can be employed to determine the deontic status of action tokens, action types, and maxims. (shrink)

Mind wandering is typically operationalized as task-unrelated thought. Some argue for the need to distinguish between unintentional and intentional mind wandering, where an agent voluntarily shifts attention from task-related to task-unrelated thoughts. We reveal an inconsistency between the standard, task-unrelated thought definition of mind wandering and the occurrence of intentional mind wandering (together with plausible assumptions about tasks and intentions). This suggests that either the standard definition of mind wandering should be rejected or that intentional mind wandering is an incoherent (...) category. Solving this puzzle is critical for advancing theoretical frameworks of mind wandering. (shrink)

Discussions of Aristotle’s Metaphysics Z tend to treat it either as an independent treatise on substance and essence or as preliminary to the main conclusions of the Metaphysics. I argue instead that Z is central to Aristotle’s project of first philosophy in the Metaphysics: the first philosopher seeks the first causes of being qua being, especially substances, and in Z, Aristotle establishes that essences or forms are the first causes of being of perceptible substances. I also argue that the centrality (...) of Z to first philosophy is compatible with its status as theology. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

Are we ever morally permitted to do what is morally wrong? It seems intuitive that we are, but evidence for dissociations among judgment of permissibility and wrongness are relatively scarce. Across 4 experiments (N = 1,438), we show that people judge that some behaviors can be morally wrong and permissible. The dissociations arise because these judgments track different morally relevant aspects of everyday moral encounters. Judgments of individual rights predicted permissibility but not wrongness, while character assessment predicted wrongness but not (...) permissibility. These findings suggest a picture in which moral evaluation is granular enough to express reasoning about different types of normative considerations, notably the possibility that people can exercise their rights in morally problematic ways. (shrink)

Much attention has been paid to moral understanding as an individual achievement, when a single agent gains insight into distinctly moral matters. Crucially overlooked, I argue, is the phenomenon of shared moral understanding, when you and I understand moral matters together, in a way that can’t be reduced to each of us having moral understanding on our own. My argument pays close attention to two central moral practices: justifying our actions to others, and apologizing for wrongdoing. I argue that, whenever (...) I owe you a justification or an apology, I thereby owe it to you to aim at our coming to a shared moral understanding. My argument has two upshots. The first is a novel explanation of the importance of moral understanding in our lives, one that emphasizes the importance of understanding moral reasons together. The second is a better understanding of the very obligations involved in two of our most central interpersonal moral practices. (shrink)

Mind wandering is a pervasive feature of subjective experience. But why does the mind tend to wriggle about rather than always staying focused? To answer this question, this paper defends the claim that mind wandering consists in task-unrelated thought. Despite being the standard view of mind wandering in cognitive psychology, there has been no systematic elaboration or defense of the task-unrelated thought view of mind wandering. Here, I argue for the task-unrelated thought view by showing how mind wandering reflects a (...) distinctive form of non-vigilant thinking. When the relationship between mind wandering and vigilance is clarified, several objections to the task-unrelated thought view can be defused. Not only does this provide a novel defense of the task-unrelated thought view of mind wandering, but it also presents an account of mind wandering that is compatible with a naturalistic account of subjectivity. (shrink)

Some normative theories are self-defeating. They tell us to respond to our situations in ways that bring about outcomes that are bad, given the aims of the theories, and which could have been avoided. Across a wide range of debates in ethics, decision theory, political philosophy, and formal epistemology, many philosophers treat the fact that a normative theory is self-defeating as sufficient grounds for rejecting it. I argue that this widespread and consequential assumption is false. In particular, I argue that (...) a theory can be self-defeating and still internally consistent, action-guiding, and suitable as a standard for criticism. (shrink)

Suppose that a patient is receiving treatment options from her doctor. In one case, the doctor says, “the surgery has a 90% survival rate.” Now, suppose the doctor instead said, “the procedure has a 10% mortality rate.” Predictably, the patient is more likely to consent on the first description and more likely to dissent on the second. This is an example of a framing effect. A framing effect occurs when “the description of [logically-equivalent] options in terms of gains (positive frame) (...) rather than losses (negative frame) elicits systematically different choices.” Framing effects are ubiquitous, but they are particularly troublesome in medicine. Many worry that there is tension between valuing informed consent and using framing effects in clinical settings. In this paper, I answer this question: if an individual is subject to a framing effect when she gives her consent, does this undermine the validity of her consent? I argue that framing effects do not undermine consent in general. (shrink)

Because moral understanding involves a distinctly first-personal grasp of moral matters, there is a temptation to think of its value primarily in terms of achievements that reflect well on its possessor: the moral worth of one's action or the virtue of one's character. These explanations, I argue, do not do full justice to the importance of moral understanding in our moral lives. Of equal importance is the value of moral understanding in our relations with other moral agents. In particular, I (...) argue that an understanding of moral matters is of central importance within relations of solidarity. In addition to highlighting an overlooked aspect of moral understanding's value, this view also has important implications for what solidarity requires of those who stand in that relationship. (shrink)

Samuel Kerstein’s recent (2013) How To Treat Persons is an ambitious attempt to develop a new, broadly Kantian account of what it is to treat others as mere means and what it means to act in accordance with others’ dignity. His project is explicitly nonfoundationalist: his interpretation stands or falls on its ability to accommodate our pretheoretic intuitions, and he does an admirable job of handling carefully a range of well fleshed out and sometimes subtle examples. In what follows, (...) I shall give a quick summary of the chapters and then say two good things about the book and one critical thing. (shrink)

Super-Humeans argue that the most parsimonious ontology of the natural world compatible with our best physical theories consists exclusively of particles and the distance relations between them. This paper argues by contrast that Super-Humean reduction goes insufficiently far, by showing there to be a more parsimonious ontology compatible with physics: Ultimate-Humeanism. This novel view posits an ontology consisting solely of the particles and distance relations required for the existence of a single brain. Super-Humeans impose conditions on what counts as an (...) ontology of the natural world to avoid their view slipping into this kind of ontology, but these conditions are arbitrarily imposed and once this is exposed, Super-Humeans face a dilemma. Either they can embrace Ultimate-Humeanism as the minimal ontology of the natural world compatible with physics, or (more likely) they can rethink the methodology that got them there. Overall, this paper argues that Super-Humeanism currently lacks principled motivation, outlines a framework for naturalistic ontological reductions, and exposes the consequences of unchecked adherence to a simplicity-driven methodology. (shrink)

My primary target in this paper is a puzzle that emerges from the conjunction of several seemingly innocent assumptions in action theory and the metaphysics of moral responsibility. The puzzle I have in mind is this. On one widely held account of moral responsibility, an agent is morally responsible only for those actions or outcomes over which that agent exercises control. Recently, however, some have cited cases where agents appear to be morally responsible without exercising any control. This leads some (...) to abandon the control-based account of responsibility and replace it with an alternative account. It leads others to deny the intuition that agents are responsible in these troublesome cases. After outlining the account of moral responsibility I have in mind, I look at some of the arguments made against the viability of this theory. I show that there are conceptual resources for salvaging the control account, focusing in particular on the nature of vigilance. I also argue that there is empirical data that supports the control account so conceived. (shrink)

Monism is the claim that only one object exists. While few contemporary philosophers endorse monism, it has an illustrious history – stretching back to Bradley, Spinoza and Parmenides. In this paper, I show that plausible assumptions about the higher-order logic of property identity entail that monism is true. Given the higher-order framework I operate in, this argument generalizes: it is also possible to establish that there is a single property, proposition, relation, etc. I then show why this form of monism (...) is inconsistent; because all propositions are identical, p is identical to ~p – and so they have the same truth-value. At least one of the assumptions that generate higher-order monism must be rejected. (shrink)

The leading reductive approaches to shared agency model that phenomenon in terms of complexes of individual intentions, understood as plan-laden commitments. Yet not all agents have such intentions, and non-planning agents such as small children and some non-human animals are clearly capable of sophisticated social interactions. But just how robust are their social capacities? Are non-planning agents capable of shared agency? Existing theories of shared agency have little to say about these important questions. I address this lacuna by developing a (...) reductive account of the social capacities of non-planning agents, which I argue supports the conclusion that they can enjoy shared agency. The resulting discussion offers a fine-grained account of the psychological capacities that can underlie shared agency, and produces a recipe for generating novel hypotheses concerning why some agents do not engage in shared agency. (shrink)

Kraut and other neo-Aristotelians have argued that there is no such thing as absolute goodness. They admit only good in a kind, e.g. a good sculptor, and good for something, e.g. good for fish. What is the view of Aristotle? Mostly limiting myself to the Nicomachean Ethics, I argue that Aristotle is committed to things being absolutely good and also to a metaphysics of absolute goodness where there is a maximally best good that is the cause of the goodness of (...) all other things in virtue of being their end. I begin by suggesting that the notion of good as an end, which is present in the first lines of the NE, is not obviously accounted for by good in a kind or good for something. I then give evidence that good in a kind and good for something can explain neither certain distinctions drawn between virtues nor the determinacy ascribed to what is good “in itself.” I argue contra Gotthelf that because several important arguments in the Nicomachean Ethics rely on comparative judgments of absolute value—e.g. “Man is the best of all animals”—Aristotle is committed to the existence of both absolute goodness and an absolutely best being. I focus on one passage, Aristotle’s division of goods in NE I 12, which presupposes this metaphysical picture. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

The Generality Problem is widely recognized to be a serious problem for reliabilist theories of justification. James R. Beebe's Statistical Solution is one of only a handful of attempted solutions that has garnered serious attention in the literature. In their recent response to Beebe, Julien Dutant and Erik J. Olsson successfully refute Beebe's Statistical Solution. This paper presents a New Statistical Solution that countenances Dutant and Olsson's objections, dodges the serious problems that trouble rival solutions, and retains the theoretical virtues (...) that made Beebe's solution so attractive in the first place. There indeed exists a principled, rigorous, conceptually sparse, and plausible solution to the Generality Problem: it is the New Statistical Solution. (shrink)

In this study, press freedom in Nigeria is investigated, together with its recent developments and historical background. It looks at the state of press freedom, highlighting obstacles, worldwide forces that contribute to its restriction and the benefits it provides. Despite legislative restrictions, government control over Nigeria's media has persisted since the Newspaper Ordinance of 1903. The study places press freedom within several theoretical frameworks, such as authoritarian, libertarian, and democratic participant theories, using McQuail's theories of mass communication. Using Google Forms (...) and the River sampling method, the study obtained data from 60 Nigerian journalists with a 100% response rate. The study underscores the critical function of press freedom in democratic nations, calls for its protection, and emphasizes its ability to influence open government, the defense of human rights, and socioeconomic progress. (shrink)

According to the attentional resources account, mind wandering (or “task-unrelated thought”) is thought to compete with a focal task for attentional resources. Here, we tested two key predictions of this account: First, that mind wandering should not interfere with performance on a task that does not require attentional resources; second, that as task requirements become automatized, performance should improve and depth of mind wandering should increase. Here, we used a serial reaction time task with implicit- and explicit-learning groups to test (...) these predictions. Providing novel evidence for the attentional resource account’s first prediction, results indicated that depth of mind wandering was negatively associated with learning in the explicit, but not the implicit, group, indicating that mind wandering is associated with impaired explicit, but not implicit, learning. Corroborating the attention resource account’s second prediction, we also found that, overall, performance improved while at the same time depth of mind wandering increased. From an implicit learning perspective, these results are consistent with the claim that explicit learning is impaired under attentional load, but implicit learning is not. (shrink)

In response to the spread of COVID-19, governments across the world have, with very few exceptions, enacted sweeping restrictive lockdown policies that impede citizens’ freedom to move, work, and assemble. This paper critically responds to the central arguments for restrictive lockdown legislation. We build our critique on the following assumption: public policy that enjoys virtually unanimous support worldwide should be justified by uncontroversial moral principles. We argue that that the virtually unanimous support in favor of restrictive lockdowns is not adequately (...) justified by the arguments given in favor of them. Importantly, this is not to say that states ought not impose restrictive lockdown measures, but rather that the extent of the acceptance of these measures is not proportionate to the strength of the arguments for lockdowns. -/- We begin by exploring the case for restrictive lockdowns. We first argue that several of the principles that are used to justify the lockdowns yield unexpectedly revisionary implications for other political problems that many would be unwilling to accept. We then outline what we consider the strongest argument for a lockdown—namely, that its net welfare benefits are great enough to defeat the moral presumption against restricting citizens’ civil liberties to move, work, and assemble. However, we give a number of reasons for doubting that the lockdown’s net welfare benefits are, in fact, sufficiently high to defeat the presumption against it. (shrink)

Perdurantists think of continuants as mereological sums of stages from different times. This view of persistence would force us to drop the idea that there is genuine change in the world. By exploiting a presentist metaphysics, Brogaard proposed a theory, called presentist four-dimensionalism, that aims to reconcile perdurantism with the idea that things undergo real change. However, her proposal commits us to reject the idea that stages must exist in their entirety. Giving up the tenet that all the stages are (...) equally real could be a price that perdurantists are unwilling to pay. I argue that Kit Fine ’s fragmentalism provides us with the tools to combine a presentist metaphysics with a perdurantist theory of persistence without giving up the idea that reality is constituted by more than purely present stages. (shrink)

Proponents of the utilitarian animal welfare argument (AWA) for veganism maintain that it is reasonable to expect that adopting a vegan diet will decrease animal suffering. In this paper I argue otherwise. I maintain that (i) there are plausible scenarios in which refraining from meat-consumption will not decrease animal suffering; (ii) the utilitarian AWA rests on a false dilemma; and (iii) there are no reasonable grounds for the expectation that adopting a vegan diet will decrease animal suffering. The paper is (...) divided into four sections. In the first, I set out the utilitarian AWA in its original form. I give some background and I distinguish it from other, related arguments. In the second, I discuss the causal impotence objection, a popular objection to the utilitarian AWA. I explain how the objection works by means of a conceptual distinction between consumers and producers. In the third, I explain how proponents of the utilitarian AWA respond to this objection. In particular, I set out in some detail what I call the expected utility response. In the fourth and final section, I use the three objections noted above to explain why I do not find this response convincing. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

In Wilmot-Smith’s recent “Law, ‘Ought’, and ‘Can’,” he argues that legal obligation does not imply ability. In this short reply, I show that Wilmot-Smith’s arguments do not withstand critical scrutiny. In section 1, I attack Wilmot-Smith’s argument for the claim that allowing for impossible obligations makes for a better legal system, and I introduce positive grounds for thinking otherwise. In section 2, I show that, even if Wilmot-Smith had established that impossible obligations make for a better legal system, his subsequent (...) attack on OIC fails. (shrink)

Kant’s Formula of Humanity can be analyzed into two parts. One is an injunction to treat humanity always as an end. The other is a prohibition on using humanity as a mere means. The second is often referred to as the FH prohibition or the mere means prohibition. It has become popular to interpret this prohibition in terms of consent. The idea is that, if X uses Y's humanity as a means and Y does not consent to it, then X (...) uses Y's humanity as a mere means. There is then debate about the kind of consent that is relevant: possible, actual, or rational. In this paper, I argue against this interpretation. Section one sets up the consent account. Section two attacks possible and actual consent accounts on doctrinal grounds. Section three extends this doctrinal attack to rational consent accounts. Section four circles back to the original motivation for the consent interpretation. I argue that the consent account rests on a misinterpretation, and I conclude with a quick sketch of an alternative interpretation of the FH prohibition. (shrink)

In Nicomachean Ethics 1. 7, Aristotle gives a definition of the human good, and he does so by means of the “ ergon argument.” I clear the way for a new interpretation of this argument by arguing that Aristotle does not think that the ergon of something is always the proper activity of that thing. Though he has a single concept of an ergon, Aristotle identifies the ergon of an X as an activity in some cases but a product in (...) others, depending on the sort of thing the X is—for while the ergon of the eye is seeing, the ergon of a sculptor is a sculpture. This alternative interpretation of Aristotle’s concept of an ergon allows the key explanatory middle term of the ergon argument to be what, I argue, it ought to be: “the best achievement of a human.”. (shrink)

The third Meditation is typically understood to contain two a posteriori arguments for the existence of God. The author focuses on the second argument, where Descartes proves the existence of God partly in virtue of proving that Descartes cannot be the cause of himself. To establish this, Descartes argues that if he were the cause of himself, then he would endow himself with any conceivable perfection. The justification for this claim is that bringing about a substance is more difficult than (...) creating an attribute, so anything that can do the former can do the latter. While current explanations of this justification are either implausible or inadequate, the author argues that this principle derives support from a scholastic distinction between being-as-such and determinate being. With this distinction in view, we can make sense of Descartes's argument without appealing to ambiguous or inadequate notions. (shrink)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I argue (...) that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

In an age of pervasive digitization, students' limited familiarity with the vast realm of information poses a significant challenge. This study investigates the hurdles faced by university students in terms of internet access and information retrieval. Objectives encompass understanding the impact of internet access challenges on academic performance, exploring factors influencing students' lack of interest in enhancing internet skills, and identifying barriers to effective internet utilization. Methodologically, a survey approach is adopted, involving 160 purposively selected students as respondents. A structured (...) questionnaire is used for data collection, distributed through Google Forms, resulting in a comprehensive 100% response rate. The study's theoretical foundation rests on the Use and Gratification Theory and Digital Divide Theory, highlighting digital literacy's importance in education. Key findings support alternative hypotheses, revealing the influence of internet connectivity challenges on academic performance, citing factors like cost, inertia, intent, and digital literacy. In conclusion, the study underscores students' reliance on smartphones for internet access, proposing specialized instruction, self-driven skill enhancement, and collaborative efforts to enhance internet accessibility and affordability. Recommendations emphasize specialized instruction, self-driven skill improvement, and collaborative efforts to enhance affordable internet access. Ultimately, tackling these challenges empowers students to navigate the digital landscape and leverage its potential effectively. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

Philosophical work in the ethics of thought focuses heavily on the ethics of belief, with, in recent years, a particular emphasis on the ways in which we might wrong other people either through our beliefs about them, or our failure to believe what they tell us. Yet in our own lives we often want not merely to be believed, but rather to be understood by others. What does it take to understand another person? In this paper, I provide an account (...) of interpersonal understanding that speaks to this widespread human desire to be understood by others. On the view I defend, to be understood by another person is for them to see our motivating reasons as justifying reasons, whether or not they actually take our reasons to have that normative force. I then provide an explanation of why such understanding is valuable in our lives, which emphasizes how being understood by another person is a way of being more fully with them. (shrink)